Effects as Capabilities in Scala
nrinaudo.github.io·3h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Algebraic Effects in Practice with Flix
relax.software·3d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
Context Pruning in Conversational Agent
poonai.xyz·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·11h
🔍Formal Verification
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·2h·
Discuss: Lobsters, Hacker News
🧠Automated Reasoning
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·1h·
Discuss: Hacker News
🧠Automated Reasoning
The Magic of the Hall Effect Sensor
hackaday.com·10h
🩹Self-Healing Systems
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Performance Improvements in .NET 10
devblogs.microsoft.com·1h·
Discuss: Hacker News, r/programming
📊Runtime Verification
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·1d·
Discuss: r/programming
💎Refinement Types
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩Parser Combinators
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2h·
Discuss: Hacker News
🧮Lambda Calculus
Strange Attractors
blog.shashanktomar.com·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Adding OR logic forced us to confront why users preferred raw SQL
signoz.io·2h·
Discuss: Hacker News
👁️System Observability
AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·5h
🎮Verification Games
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·20h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Show HN: Asimov's three laws, a working implementation (don't use in production)
maybedont.ai·20h·
Discuss: Hacker News
🩹Self-Healing Systems
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
Visualising Topology Inspired Computing Algorithms
antifold.com·19h·
Discuss: Hacker News
🧩Separation Logic